        bits 64
        
        ; RDMSR     rax, 0xbdbdbdbd
        db 0xc4, 0xe7, 0x7b, 0xf6, 0xc0, 0xbd, 0xbd, 0xbd, 0xbd
        ; RDMSR     rax, 0xbdbdbdbd 
        db 0x62, 0xf7, 0x7f, 0x08, 0xf6, 0xc0, 0xbd, 0xbd, 0xbd, 0xbd
        ; RDMSRLIST
        db 0xF2, 0x0F, 0x01, 0xC6
        ; WRMSRNS
        db 0x0F, 0x01, 0xC6
        ; WRMSRNS   0xbdbdbdbd, rax
        db 0xc4, 0xe7, 0x7a, 0xf6, 0xc0, 0xbd, 0xbd, 0xbd, 0xbd
        ; WRMSRNS   0xbdbdbdbd, rax
        db 0x62, 0xf7, 0x7e, 0x08, 0xf6, 0xc0, 0xbd, 0xbd, 0xbd, 0xbd
        ; WRMSRLIST
        db 0xF3, 0x0F, 0x01, 0xC6
